The Width and Integer Optimization on Simplices With Bounded Minors of the Constraint Matrices

In this paper, we will show that the width of simplices defined by systems of linear inequalities can be computed in polynomial time if some minors of their constraint matrices are bounded. Additionally, we present some quasi-polynomial-time and polynomial-time algorithms to solve the integer linear optimization problem defined on simplices minus all their integer vertices assuming that some minors of the constraint matrices of the simplices are bounded.Comment: 12 page

Hamiltonian structures of fermionic two-dimensional Toda lattice hierarchies

By exhibiting the corresponding Lax pair representations we propose a wide class of integrable two-dimensional (2D) fermionic Toda lattice (TL) hierarchies which includes the 2D N=(2|2) and N=(0|2) supersymmetric TL hierarchies as particular cases. We develop the generalized graded R-matrix formalism using the generalized graded bracket on the space of graded operators with involution generalizing the graded commutator in superalgebras, which allows one to describe these hierarchies in the framework of the Hamiltonian formalism and construct their first two Hamiltonian structures. The first Hamiltonian structure is obtained for both bosonic and fermionic Lax operators while the second Hamiltonian structure is established for bosonic Lax operators only.Comment: 12 pages, LaTeX, the talks delivered at the International Workshop on Classical and Quantum Integrable Systems (Dubna, January 24 - 28, 2005) and International Conference on Theoretical Physics (Moscow, April 11 - 16, 2005

An FPTAS for the Δ\Delta-modular multidimensional knapsack problem

It is known that there is no EPTAS for the $m$-dimensional knapsack problem unless $W[1] = FPT$. It is true already for the case, when $m = 2$. But, an FPTAS still can exist for some other particular cases of the problem. In this note, we show that the $m$-dimensional knapsack problem with a $\Delta$-modular constraints matrix admits an FPTAS, whose complexity bound depends on $\Delta$ linearly. More precisely, the proposed algorithm complexity is $$O(T_{LP} \cdot (1/\varepsilon)^{m+3} \cdot (2m)^{2m + 6} \cdot \Delta),$$ where $T_{LP}$ is the linear programming complexity bound. In particular, for fixed $m$ the arithmetical complexity bound becomes $$O(n \cdot (1/\varepsilon)^{m+3} \cdot \Delta).$$ Our algorithm is actually a generalisation of the classical FPTAS for the $1$-dimensional case. Strictly speaking, the considered problem can be solved by an exact polynomial-time algorithm, when $m$ is fixed and $\Delta$ grows as a polynomial on $n$. This fact can be observed combining previously known results. In this paper, we give a slightly more accurate analysis to present an exact algorithm with the complexity bound $$O(n \cdot \Delta^{m + 1}), \quad \text{ for $m$ being fixed}.$$ Note that the last bound is non-linear by $\Delta$ with respect to the given FPTAS

FPT-algorithms for some problems related to integer programming

In this paper, we present FPT-algorithms for special cases of the shortest lattice vector, integer linear programming, and simplex width computation problems, when matrices included in the problems' formulations are near square. The parameter is the maximum absolute value of rank minors of the corresponding matrices. Additionally, we present FPT-algorithms with respect to the same parameter for the problems, when the matrices have no singular rank sub-matrices.Comment: arXiv admin note: text overlap with arXiv:1710.00321 From author: some minor corrections has been don

On lattice point counting in Δ\Delta-modular polyhedra

Let a polyhedron $P$ be defined by one of the following ways: (i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$; (ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$. And let all rank order minors of $A$ be bounded by $\Delta$ in absolute values. We show that the short rational generating function for the power series $$\sum\limits_{m \in P \cap Z^n} x^m$$ can be computed with the arithmetic complexity $O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 \Delta}\right),$ where $k$ and $\Delta$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$\left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j$$ can be computed by a polynomial time algorithm for fixed $k$ and $\Delta$

A faster algorithm for counting the integer points number in Δ\Delta-modular polyhedra

Let a polytope $P$ be defined by a system $A x \leq b$. We consider the problem to count a number of integer points inside $P$, assuming that $P$ is $\Delta$-modular. The polytope $P$ is $\Delta$-modular if all the rank sub-determinants of $A$ are bounded by $\Delta$ in the absolute value. We present a new FPT-algorithm, parameterized by $\Delta$ and by the number of simple cones in the normal fun triangulation of $P$, which is more efficient for $\Delta$-modular problems, than the approach of A.~Barvinok et al. To this end, we do not directly compute the short rational generating function for $P \cap Z^n$, which is commonly used for the considered problem. We compute its particular representation in the form of exponential series that depends on one variable, using the dynamic programming principle. We completely do not use the A.~Barvinok's unimodular sign decomposition technique. Using our new complexity bound, we consider different special cases that may be of independent interest. For example, we give FPT-algorithms for counting the integer points number in $\Delta$-modular simplicies and similar polytopes that have $n + O(1)$ facets. For any fixed $m$, we give an FPT-algorithm to count solutions of the unbounded $m$-dimensional $\Delta$-modular knapsack problem. For the case, when $\Delta$ grows slowly with respect to $n$, we give a counting algorithm, which is more effective, than the state of the art ILP feasibility algorithm